9.96/12.23	unsat
