18.35/21.49	unsat
