17.26/18.73	unsat
