17.27/17.36	unsat
