2.50/4.94	unsat
