17.57/17.68	unsat
