2.06/6.14	unsat
