3.67/6.46	unsat
