11.96/12.20	unsat
