3.28/3.95	unsat
