49.59/52.36	unsat
