2.29/3.95	unsat
