17.26/17.44	unsat
