17.57/19.79	unsat
