15.67/15.73	unsat
