8.88/12.14	unsat
