18.97/22.48	unsat
