7.19/13.82	unsat
