69.86/71.03	unsat
