17.34/20.88	unsat
