3.68/3.95	unsat
