17.36/17.79	unsat
