1.59/3.95	unsat
