16.26/16.73	unsat
