45.78/49.20	unsat
