17.57/20.67	unsat
