9.92/12.87	unsat
