18.98/22.49	unsat
