17.57/21.89	unsat
