15.76/16.24	unsat
