15.17/16.71	unsat
