18.37/18.79	unsat
