3.88/3.95	unsat
