18.44/18.78	unsat
