75.87/76.65	unsat
