9.18/12.99	unsat
