17.26/17.33	unsat
