17.14/17.61	unsat
