17.34/17.73	unsat
