18.94/19.14	unsat
