6.74/12.08	unsat
