74.37/76.43	unsat
