19.14/30.42	unsat
