15.64/16.00	unsat
