17.26/17.79	unsat
