17.25/20.11	unsat
