11.96/12.08	unsat
