70.86/71.15	unsat
