6.08/14.12	unsat
