3.87/3.95	unsat
