17.57/20.12	unsat
