6.06/6.36	unsat
