67.09/71.15	unsat
