17.57/20.63	unsat
