46.69/49.87	unsat
