4.14/6.36	unsat
