18.51/24.20	unsat
