17.97/20.67	unsat
