15.67/16.72	unsat
