76.28/76.45	unsat
