3.10/7.55	unsat
