2.60/4.90	unsat
