2.60/2.95	unsat
