70.86/75.68	unsat
