18.97/22.04	unsat
