1.28/3.95	unsat
