19.85/19.94	unsat
