11.96/12.99	unsat
