17.26/17.36	unsat
