3.62/7.58	unsat
