3.62/6.55	unsat
