74.86/76.45	unsat
