3.87/10.07	unsat
