17.34/17.44	unsat
