17.97/20.04	unsat
